Lambda Calculus
It is a machine created by Alonzo Church.
Any operation that could be performed using Lambda Calculus was termed as "computable."
Succeeded by Turing Machine
It is a machine created by Alonzo Church.
Any operation that could be performed using Lambda Calculus was termed as "computable."
Succeeded by Turing Machine